Syntax Requirements of Message Sequence Charts
نویسنده
چکیده
A set of syntax requirements of Message Sequence Charts is discussed and formalized. The formalization is syntax-directed and based on functions and predicates.
منابع مشابه
On the Relationship between use-case maps and Message Sequence Charts
The time it takes to develop telecommunication standards must be reduced to allow companies to get features to the market faster. In order to achieve this objective, a process based on the combination of a set of modeling techniques has been proposed by Nortel Networks in the context of the Wireless Intelligent Network (WIN) standard development. This process combines the use of standard notati...
متن کاملArchitecture of a Requirements and Design Tool Based on Message Sequence Charts
Message Sequence Charts (MSCs) are increasingly supported in software engineering tools to capture system requirements, test scenarios, and simulation traces of reactive systems. The latest standard syntax of MSCs [12] o ers operations to compose MSCs in a hierarchical, iterating, and nondeterministic way. The various operators are a step towards increasing the applicability of MSCs to more tha...
متن کاملLSCs: That’s the Name of the Game! A Specification Framework based on Live Sequence Charts and Game Theory
Message Sequence Charts (MSCs) are a standard, widely adopted scenario-based notation. However, its use for the requirements engineering of reactive systems still suffers fundamental issues about which few researchers and practitioners seem to care: (1) its semantics is too weak to model such basic things as a response pattern, (2) no distinction is made between descriptive and prescriptive sta...
متن کاملProblems of the Semantic-based Weaving of Scenarios1
The notion of aspect looks promising for handling crosscutting concerns earlier in the software lifecycle, up from programming to design, analysis and even requirements. Support for aspects is thus now raising interest also at the modelling level, including in behavioural modelling languages such as scenarios. However with these kinds of behavioural modelling languages, aspect weaving cannot al...
متن کاملRequirements specification of an automotive system with hybrid sequence charts
In this position statement we outline the key ideas behind Hybrid Sequence Charts (HySCs) along an example system taken from the automotive industry. HySCs are a visual description technique for communication in hybrid systems inspired by the well known Message Sequence Charts syntax. However, they have a completely different semantic model that is well suited for the application domain of hybr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995